<html>
<head>
<style type='text/css'>
html, body, div, span, p, blockquote, pre {
	margin: 0;
	padding: 0;
	border: 0;
	outline: 0;
	font-weight: inherit;
	font-style: inherit;
	font-size: 100%;
	font-family: inherit;
	vertical-align: baseline;
}

body{
	line-height: 1;
	color: black;
	background: white;
	margin-left: 20px;
}

.src { 
border: 1px solid #dddddd;
padding-top: 10px;
padding-right: 5px;
padding-left: 5px;
}


.covered {background-color: #ddffdd}
.uncovered {background-color: #ffdddd}
.killed {background-color: #aaffaa}
.survived {background-color: #ffaaaa}
.uncertain {background-color: #dde7ef}
.run_error {background-color: #dde7ef}
.na {background-color: #eeeeee}
.timed_out {background-color: #dde7ef}
.non_viable {background-color: #aaffaa}
.memory_error {background-color: #dde7ef}
.not_started {background-color: #dde7ef; color : red}
.no_coverage {background-color: #ffaaaa}

</style>

</head>
<body>




<h1>PositiveInteger.java</h1>

<table class="src">



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_1'/>
1
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_1'></a>
</td>
<td class=''><pre><span  class=''>package pitexample;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_2'/>
2
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_2'></a>
</td>
<td class=''><pre><span  class=''></span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_3'/>
3
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_3'></a>
</td>
<td class=''><pre><span  class=''>public class PositiveInteger {</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_4'/>
4
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_4'></a>
</td>
<td class=''><pre><span  class=''>&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_5'/>
5
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_5'></a>
</td>
<td class=''><pre><span  class=''>&#9;private int n;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_6'/>
6
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_6'></a>
</td>
<td class=''><pre><span  class=''>&#9;private boolean valid;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_7'/>
7
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_7'></a>
</td>
<td class=''><pre><span  class=''>&#9;</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_8'/>
8
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_8'></a>
</td>
<td class='covered'><pre><span  class=''>&#9;public PositiveInteger(){</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_9'/>
9
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_9'></a>
</td>
<td class='covered'><pre><span  class=''>&#9;&#9;&#9;n = 0;</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_10'/>
10
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_10'></a>
</td>
<td class='covered'><pre><span  class=''>&#9;&#9;&#9;valid = false;</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_11'/>
11
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_11'></a>
</td>
<td class='covered'><pre><span  class=''>&#9;&#9;}</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_12'/>
12
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_12'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_13'/>
13
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_13'></a>
</td>
<td class=''><pre><span  class=''></span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_14'/>
14
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_14'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;/**</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_15'/>
15
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_15'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;*  @param  a input string. String can be null,</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_16'/>
16
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_16'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;*  @return long integer that is a valid integer in Java</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_17'/>
17
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_17'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;*/&#9;&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_18'/>
18
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_18'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_19'/>
19
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_19'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;public int validatePosInteger(String s)</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_20'/>
20
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_20'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;{</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_21'/>
21
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_21'></a>
</td>
<td class='covered'><pre><span  class=''>&#9;&#9;&#9;int m = 0;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_22'/>
22
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_22'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;try</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_23'/>
23
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_23'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;{&#9;&#9;&#9;</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_24'/>
24
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_24'></a>
</td>
<td class='covered'><pre><span  class=''>&#9;&#9;&#9;&#9;m = Integer.parseInt( s );&#9;&#9;&#9;&#9;&#9;&#9;&#9;&#9;&#9;&#9;// convert the String to an integer</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_25'/>
25
</td>
<td class='killed'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_25'>2</a>
</td>
<td class='covered'><pre><span  class='killed'>&#9;&#9;&#9;&#9;if(m&#60;=0)</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_26'/>
26
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_26'></a>
</td>
<td class='covered'><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;throw new Exception();&#9;&#9;&#9;&#9;&#9;&#9;&#9;&#9;&#9;&#9;//catches non positive integers</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_27'/>
27
</td>
<td class='killed'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_27'>1</a>
</td>
<td class='covered'><pre><span  class='killed'>&#9;&#9;&#9;&#9;this.setValid();</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_28'/>
28
</td>
<td class='killed'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_28'>1</a>
</td>
<td class='covered'><pre><span  class='killed'>&#9;&#9;&#9;&#9;return m;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_29'/>
29
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_29'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;}</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_30'/>
30
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_30'></a>
</td>
<td class='covered'><pre><span  class=''>&#9;&#9;&#9;catch ( NumberFormatException nfe )</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_31'/>
31
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_31'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;{</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_32'/>
32
</td>
<td class='survived'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_32'>1</a>
</td>
<td class='covered'><pre><span  class='survived'>&#9;&#9;&#9;&#9;System.out.println(s +&#34; is not an integer!&#34;);&#9;&#9;&#9;&#9;&#9;//catches all non integer exceptions</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_33'/>
33
</td>
<td class='survived'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_33'>1</a>
</td>
<td class='covered'><pre><span  class='survived'>&#9;&#9;&#9;&#9;System.out.println( &#34;Enter an integer Please.&#34;);   </span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_34'/>
34
</td>
<td class='killed'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_34'>1</a>
</td>
<td class='covered'><pre><span  class='killed'>&#9;&#9;&#9;&#9;return -0;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_35'/>
35
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_35'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;}</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_36'/>
36
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_36'></a>
</td>
<td class='covered'><pre><span  class=''>&#9;&#9;&#9;catch (Exception nonPositiveNumberExeception) &#9;&#9;&#9;&#9;&#9;&#9;&#9;&#9;&#9;&#9;//catches non positive integer exceptions</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_37'/>
37
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_37'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;{</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_38'/>
38
</td>
<td class='survived'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_38'>1</a>
</td>
<td class='covered'><pre><span  class='survived'>&#9;&#9;&#9;&#9;System.out.println(s +&#34; is not a positive integer!&#34;);&#9;&#9;</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_39'/>
39
</td>
<td class='survived'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_39'>1</a>
</td>
<td class='covered'><pre><span  class='survived'>&#9;&#9;&#9;&#9;System.out.println( &#34;Enter a positive integer Please.&#34;);</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_40'/>
40
</td>
<td class='killed'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_40'>1</a>
</td>
<td class='covered'><pre><span  class='killed'>&#9;&#9;&#9;&#9;return -1;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_41'/>
41
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_41'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;}</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_42'/>
42
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_42'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;}</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_43'/>
43
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_43'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_44'/>
44
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_44'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;/**</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_45'/>
45
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_45'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;*  @param  long integer validation as a positive integer</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_46'/>
46
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_46'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;*  @return long integer as the sum of all integer from 1 to n</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_47'/>
47
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_47'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;*/&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_48'/>
48
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_48'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;public  long loopSum()</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_49'/>
49
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_49'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;{</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_50'/>
50
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_50'></a>
</td>
<td class='covered'><pre><span  class=''>&#9;&#9;&#9;&#9;long sum = 0;&#9;&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_51'/>
51
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_51'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_52'/>
52
</td>
<td class='uncertain'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_52'>3</a>
</td>
<td class='covered'><pre><span  class='uncertain'>&#9;&#9;&#9;&#9;for(long k=0; k&#60;=this.n; k++)</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_53'/>
53
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_53'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;{</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_54'/>
54
</td>
<td class='killed'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_54'>1</a>
</td>
<td class='covered'><pre><span  class='killed'>&#9;&#9;&#9;&#9;&#9;&#9;sum = sum +  k;                             //Calculate sum</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_55'/>
55
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_55'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;}</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_56'/>
56
</td>
<td class='killed'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_56'>1</a>
</td>
<td class='covered'><pre><span  class='killed'>&#9;&#9;&#9;&#9;&#9;return sum;&#9;&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_57'/>
57
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_57'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;}</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_58'/>
58
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_58'></a>
</td>
<td class=''><pre><span  class=''></span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_59'/>
59
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_59'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;/**</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_60'/>
60
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_60'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;*  @param  long integer validated as a positive integer</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_61'/>
61
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_61'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;*  @return long integer as the sum of all integer from 1 to n</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_62'/>
62
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_62'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;*  Catches stack overflow error recursive call is too long</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_63'/>
63
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_63'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;*/&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_64'/>
64
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_64'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;public  long recursiveSum(int n)</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_65'/>
65
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_65'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;{</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_66'/>
66
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_66'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;try</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_67'/>
67
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_67'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;{&#9;&#9;</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_68'/>
68
</td>
<td class='killed'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_68'>1</a>
</td>
<td class='covered'><pre><span  class='killed'>&#9;&#9;&#9;&#9;&#9;&#9;if(n == 1)</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_69'/>
69
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_69'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;&#9;{</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_70'/>
70
</td>
<td class='killed'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_70'>1</a>
</td>
<td class='covered'><pre><span  class='killed'>&#9;&#9;&#9;&#9;&#9;&#9;&#9;return 1;&#9;&#9;&#9;&#9;&#9;&#9;&#9;&#9;&#9;//Base case</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_71'/>
71
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_71'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;&#9;}</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_72'/>
72
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_72'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;&#9;else</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_73'/>
73
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_73'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;&#9;{</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_74'/>
74
</td>
<td class='killed'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_74'>3</a>
</td>
<td class='covered'><pre><span  class='killed'>&#9;&#9;&#9;&#9;&#9;&#9;&#9;return (n + (recursiveSum(n-1)));&#9;&#9;&#9;&#9;//Recursive call</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_75'/>
75
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_75'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;&#9;}&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_76'/>
76
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_76'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;}</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_77'/>
77
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_77'></a>
</td>
<td class='covered'><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;catch(StackOverflowError e)&#9;&#9;&#9;&#9;&#9;&#9;&#9;//Catch stack overflow cal on large recursive call</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_78'/>
78
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_78'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;{</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_79'/>
79
</td>
<td class='survived'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_79'>1</a>
</td>
<td class='covered'><pre><span  class='survived'>&#9;&#9;&#9;&#9;&#9;&#9;System.out.print(&#34;Stack Overflow Error!&#34;);</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_80'/>
80
</td>
<td class='survived'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_80'>1</a>
</td>
<td class='covered'><pre><span  class='survived'>&#9;&#9;&#9;&#9;&#9;&#9;return 0;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_81'/>
81
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_81'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;}</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_82'/>
82
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_82'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_83'/>
83
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_83'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;}</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_84'/>
84
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_84'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;/**</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_85'/>
85
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_85'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;*  @param  long integer validated as a positive integer</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_86'/>
86
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_86'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;*  @return long integer as the sum of all integer from 1 to n</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_87'/>
87
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_87'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;*/&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_88'/>
88
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_88'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;public  long arithmeticSum()</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_89'/>
89
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_89'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;{</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_90'/>
90
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_90'></a>
</td>
<td class='covered'><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;&#9;long sum = 0;&#9;&#9;</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_91'/>
91
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_91'></a>
</td>
<td class='covered'><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;&#9;long m = this.n;</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_92'/>
92
</td>
<td class='killed'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_92'>3</a>
</td>
<td class='covered'><pre><span  class='killed'>&#9;&#9;&#9;&#9;&#9;&#9;sum = (m*m + m)/2;&#9;&#9;&#9;&#9;&#9;&#9;&#9;&#9;&#9;//Calculate sum</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_93'/>
93
</td>
<td class='killed'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_93'>1</a>
</td>
<td class='covered'><pre><span  class='killed'>&#9;&#9;&#9;&#9;&#9;&#9;return sum;&#9;&#9;&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_94'/>
94
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_94'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;}&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_95'/>
95
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_95'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_96'/>
96
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_96'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;public boolean isValid()</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_97'/>
97
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_97'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;{</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_98'/>
98
</td>
<td class='killed'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_98'>1</a>
</td>
<td class='covered'><pre><span  class='killed'>&#9;&#9;&#9;&#9;&#9;&#9;return valid;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_99'/>
99
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_99'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;}</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_100'/>
100
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_100'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_101'/>
101
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_101'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;public void setValid()</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_102'/>
102
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_102'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;{</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_103'/>
103
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_103'></a>
</td>
<td class='covered'><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;&#9;this.valid =true;</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_104'/>
104
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_104'></a>
</td>
<td class='covered'><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;}</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_105'/>
105
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_105'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_106'/>
106
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_106'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;public int getN()</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_107'/>
107
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_107'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;{</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_108'/>
108
</td>
<td class='killed'>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_108'>1</a>
</td>
<td class='covered'><pre><span  class='killed'>&#9;&#9;&#9;&#9;&#9;&#9;return n;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_109'/>
109
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_109'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;}</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_110'/>
110
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_110'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_111'/>
111
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_111'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;public void setN(String s)</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_112'/>
112
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_112'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;{</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_113'/>
113
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_113'></a>
</td>
<td class='covered'><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;&#9;this.n = validatePosInteger(s);</span></pre></td></tr>



<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_114'/>
114
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_114'></a>
</td>
<td class='covered'><pre><span  class=''>&#9;&#9;&#9;&#9;&#9;}</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_115'/>
115
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_115'></a>
</td>
<td class=''><pre><span  class=''>&#9;&#9;</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_116'/>
116
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_116'></a>
</td>
<td class=''><pre><span  class=''>&#9;}</span></pre></td></tr>



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.SourceFile@8b5441b_117'/>
117
</td>
<td class=''>
<a href='#grouporg.pitest.mutationtest.report.SourceFile@8b5441b_117'></a>
</td>
<td class=''><pre><span  class=''></span></pre></td></tr>



<tr><td></td><td></td><td><h2>Mutations</h2></td></tr>


<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_25'>25</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_25'/> 

<p class='KILLED'>negated conditional : KILLED -> pitexample.PositiveIntegerUnitTest.arithmeticLB(pitexample.PositiveIntegerUnitTest)</p> <p class='KILLED'>changed conditional boundary : KILLED -> pitexample.PositiveIntegerUnitTest.zeroNonPosIntException(pitexample.PositiveIntegerUnitTest)</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_27'>27</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_27'/> 

<p class='KILLED'>removed call to pitexample/PositiveInteger::setValid : KILLED -> pitexample.PositiveIntegerUnitTest.isValidTrue(pitexample.PositiveIntegerUnitTest)</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_28'>28</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_28'/> 

<p class='KILLED'>replaced return of integer sized value with (x == 0 ? 1 : 0) : KILLED -> pitexample.PositiveIntegerUnitTest.arithmeticLB(pitexample.PositiveIntegerUnitTest)</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_32'>32</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_32'/> 

<p class='SURVIVED'>removed call to java/io/PrintStream::println : SURVIVED</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_33'>33</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_33'/> 

<p class='SURVIVED'>removed call to java/io/PrintStream::println : SURVIVED</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_34'>34</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_34'/> 

<p class='KILLED'>replaced return of integer sized value with (x == 0 ? 1 : 0) : KILLED -> pitexample.PositiveIntegerUnitTest.charNonIntException(pitexample.PositiveIntegerUnitTest)</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_38'>38</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_38'/> 

<p class='SURVIVED'>removed call to java/io/PrintStream::println : SURVIVED</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_39'>39</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_39'/> 

<p class='SURVIVED'>removed call to java/io/PrintStream::println : SURVIVED</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_40'>40</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_40'/> 

<p class='KILLED'>replaced return of integer sized value with (x == 0 ? 1 : 0) : KILLED -> pitexample.PositiveIntegerUnitTest.negNonPosIntException(pitexample.PositiveIntegerUnitTest)</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_52'>52</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_52'/> 

<p class='KILLED'>negated conditional : KILLED -> pitexample.PositiveIntegerUnitTest.loopLB(pitexample.PositiveIntegerUnitTest)</p> <p class='KILLED'>changed conditional boundary : KILLED -> pitexample.PositiveIntegerUnitTest.loopLB(pitexample.PositiveIntegerUnitTest)</p> <p class='TIMED_OUT'>Replaced long addition with subtraction : TIMED_OUT</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_54'>54</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_54'/> 

<p class='KILLED'>Replaced long addition with subtraction : KILLED -> pitexample.PositiveIntegerUnitTest.loopLB(pitexample.PositiveIntegerUnitTest)</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_56'>56</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_56'/> 

<p class='KILLED'>replaced return of long value with value + 1 for pitexample/PositiveInteger::loopSum : KILLED -> pitexample.PositiveIntegerUnitTest.loopLB(pitexample.PositiveIntegerUnitTest)</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_68'>68</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_68'/> 

<p class='KILLED'>negated conditional : KILLED -> pitexample.PositiveIntegerUnitTest.recursiveBaseCase(pitexample.PositiveIntegerUnitTest)</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_70'>70</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_70'/> 

<p class='KILLED'>replaced return of long value with value + 1 for pitexample/PositiveInteger::recursiveSum : KILLED -> pitexample.PositiveIntegerUnitTest.recursiveBaseCase(pitexample.PositiveIntegerUnitTest)</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_74'>74</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_74'/> 

<p class='KILLED'>Replaced integer subtraction with addition : KILLED -> pitexample.PositiveIntegerUnitTest.recursiveBaseCasePlus1(pitexample.PositiveIntegerUnitTest)</p> <p class='KILLED'>Replaced long addition with subtraction : KILLED -> pitexample.PositiveIntegerUnitTest.recursiveBaseCasePlus1(pitexample.PositiveIntegerUnitTest)</p> <p class='KILLED'>replaced return of long value with value + 1 for pitexample/PositiveInteger::recursiveSum : KILLED -> pitexample.PositiveIntegerUnitTest.recursiveBaseCasePlus1(pitexample.PositiveIntegerUnitTest)</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_79'>79</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_79'/> 

<p class='SURVIVED'>removed call to java/io/PrintStream::print : SURVIVED</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_80'>80</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_80'/> 

<p class='SURVIVED'>replaced return of long value with value + 1 for pitexample/PositiveInteger::recursiveSum : SURVIVED</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_92'>92</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_92'/> 

<p class='KILLED'>Replaced long multiplication with division : KILLED -> pitexample.PositiveIntegerUnitTest.arithmeticUB(pitexample.PositiveIntegerUnitTest)</p> <p class='KILLED'>Replaced long addition with subtraction : KILLED -> pitexample.PositiveIntegerUnitTest.arithmeticLB(pitexample.PositiveIntegerUnitTest)</p> <p class='KILLED'>Replaced long division with multiplication : KILLED -> pitexample.PositiveIntegerUnitTest.arithmeticLB(pitexample.PositiveIntegerUnitTest)</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_93'>93</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_93'/> 

<p class='KILLED'>replaced return of long value with value + 1 for pitexample/PositiveInteger::arithmeticSum : KILLED -> pitexample.PositiveIntegerUnitTest.arithmeticLB(pitexample.PositiveIntegerUnitTest)</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_98'>98</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_98'/> 

<p class='KILLED'>replaced return of integer sized value with (x == 0 ? 1 : 0) : KILLED -> pitexample.PositiveIntegerUnitTest.isValidTrue(pitexample.PositiveIntegerUnitTest)</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.SourceFile@8b5441b_108'>108</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.SourceFile@8b5441b_108'/> 

<p class='KILLED'>replaced return of integer sized value with (x == 0 ? 1 : 0) : KILLED -> pitexample.PositiveIntegerUnitTest.charNonIntException(pitexample.PositiveIntegerUnitTest)</p> 
</td>
</tr>

</table>



<h2>Active mutators</h2>
<ul>

<li class='mutator'>INVERT_NEGS_MUTATOR</li>

<li class='mutator'>RETURN_VALS_MUTATOR</li>

<li class='mutator'>MATH_MUTATOR</li>

<li class='mutator'>VOID_METHOD_CALL_MUTATOR</li>

<li class='mutator'>NEGATE_CONDITIONALS_MUTATOR</li>

<li class='mutator'>CONDITIONALS_BOUNDARY_MUTATOR</li>

<li class='mutator'>INCREMENTS_MUTATOR</li>

</ul>

<h2>Tests examined</h2>
<ul>
<li>pitexample.PositiveIntegerUnitTest.recursiveBaseCasePlus2(pitexample.PositiveIntegerUnitTest) (3 ms)</li><li>pitexample.PositiveIntegerUnitTest.recursiveBaseCase(pitexample.PositiveIntegerUnitTest) (3 ms)</li><li>pitexample.PositiveIntegerUnitTest.arithmeticUB(pitexample.PositiveIntegerUnitTest) (3 ms)</li><li>pitexample.PositiveIntegerUnitTest.recursiveStackOverflowException(pitexample.PositiveIntegerUnitTest) (14 ms)</li><li>pitexample.PositiveIntegerUnitTest.isValidTrue(pitexample.PositiveIntegerUnitTest) (3 ms)</li><li>pitexample.PositiveIntegerUnitTest.javaUBNonIntException(pitexample.PositiveIntegerUnitTest) (3 ms)</li><li>pitexample.PositiveIntegerUnitTest.loopUB(pitexample.PositiveIntegerUnitTest) (145364 ms)</li><li>pitexample.PositiveIntegerUnitTest.isValidFalse(pitexample.PositiveIntegerUnitTest) (4 ms)</li><li>pitexample.PositiveIntegerUnitTest.negNonPosIntException(pitexample.PositiveIntegerUnitTest) (3 ms)</li><li>pitexample.PositiveIntegerUnitTest.loopLB(pitexample.PositiveIntegerUnitTest) (4 ms)</li><li>pitexample.PositiveIntegerUnitTest.validPosIntJavaUB(pitexample.PositiveIntegerUnitTest) (3 ms)</li><li>pitexample.PositiveIntegerUnitTest.doubleNonIntException(pitexample.PositiveIntegerUnitTest) (3 ms)</li><li>pitexample.PositiveIntegerUnitTest.recursiveBaseCasePlus1(pitexample.PositiveIntegerUnitTest) (3 ms)</li><li>pitexample.PositiveIntegerUnitTest.stringNonIntException(pitexample.PositiveIntegerUnitTest) (3 ms)</li><li>pitexample.PositiveIntegerUnitTest.charNonIntException(pitexample.PositiveIntegerUnitTest) (3 ms)</li><li>pitexample.PositiveIntegerUnitTest.arithmeticLB(pitexample.PositiveIntegerUnitTest) (3 ms)</li><li>pitexample.PositiveIntegerUnitTest.zeroNonPosIntException(pitexample.PositiveIntegerUnitTest) (3 ms)</li><li>pitexample.PositiveIntegerUnitTest.recursiveAproachingStackOverflow(pitexample.PositiveIntegerUnitTest) (15 ms)</li><li>pitexample.PositiveIntegerUnitTest.nullNonIntException(pitexample.PositiveIntegerUnitTest) (3 ms)</li><li>pitexample.PositiveIntegerUnitTest.validPosIntLB(pitexample.PositiveIntegerUnitTest) (13 ms)</li>
</ul>

<br/>

Report generated by PIT <a href='http://pitest.org'>mutation testing for java</a>

</body>
</html>